then angles opposite those sides are congruent